algorithme dpll - Français Anglais Dictionnaire